<!DOCTYPE html>
<html>
<head>
    <link rel="stylesheet" type="text/css" href="../style.css">
</head>
<body>


<h1>Repay.java</h1>

<table class="src">



<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_1'/>
1
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_1'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>package ecnu.sei.st2018;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_2'/>
2
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_2'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_3'/>
3
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_3'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>import java.math.BigDecimal;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_4'/>
4
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_4'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_5'/>
5
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_5'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>public class Repay {</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_6'/>
6
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_6'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_7'/>
7
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_7'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    private boolean isCardValid;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_8'/>
8
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_8'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    private boolean isNameValid;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_9'/>
9
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_9'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    private BigDecimal balance;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_10'/>
10
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_10'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_11'/>
11
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_11'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    private boolean  isTotal;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_12'/>
12
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_12'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    private boolean  isPart;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_13'/>
13
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_13'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_14'/>
14
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_14'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    private BigDecimal payment;</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_15'/>
15
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_15'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_16'/>
16
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_16'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>    public Repay(boolean isCardValid, boolean isNameValid, BigDecimal balance, boolean isTotal, boolean isPart, BigDecimal payment) {</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_17'/>
17
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_17'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>        this.isCardValid = isCardValid;</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_18'/>
18
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_18'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>        this.isNameValid = isNameValid;</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_19'/>
19
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_19'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>        this.balance = balance;</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_20'/>
20
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_20'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>        this.isTotal = isTotal;</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_21'/>
21
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_21'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>        this.isPart = isPart;</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_22'/>
22
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_22'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>        this.payment = payment;</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_23'/>
23
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_23'></a>
<span>
</span>
</span>
</td>
<td class='covered'><pre><span  class=''>    }</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_24'/>
24
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_24'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_25'/>
25
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_25'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    public String doRepay(){</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_26'/>
26
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_26'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''></span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_27'/>
27
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_27'>4</a>
<span>

1. doRepay : changed conditional boundary &rarr; KILLED<br/>

2. doRepay : negated conditional &rarr; KILLED<br/>

3. doRepay : negated conditional &rarr; KILLED<br/>

4. doRepay : negated conditional &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>        if (isCardValid &#38;&#38; isNameValid &#38;&#38; balance.compareTo(BigDecimal.ZERO)&#62;0) {</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_28'/>
28
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_28'>2</a>
<span>

1. doRepay : negated conditional &rarr; KILLED<br/>

2. doRepay : negated conditional &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>            if(isTotal || isPart){</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_29'/>
29
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_29'>2</a>
<span>

1. doRepay : changed conditional boundary &rarr; KILLED<br/>

2. doRepay : negated conditional &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>                if(payment.compareTo(new BigDecimal(10.00))&#62;=0){</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_30'/>
30
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_30'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>                    return &#34;success&#34;;}</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_31'/>
31
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_31'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>                else{</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_32'/>
32
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_32'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>                    return &#34;not enough balance &#34;;}</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_33'/>
33
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_33'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>            }</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_34'/>
34
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_34'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>            else{</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_35'/>
35
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_35'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>                return &#34;return&#34;;}</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_36'/>
36
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_36'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>        }</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_37'/>
37
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_37'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>        else{</span></pre></td></tr>


<tr>
<td class='covered'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_38'/>
38
</td>
<td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_38'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
</td>
<td class='covered'><pre><span  class='killed'>            return &#34;card invalid or name invalid or balance &#60;=0 &#34;;}</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_39'/>
39
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_39'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>    }</span></pre></td></tr>


<tr>
<td class='na'>
<a name='org.pitest.mutationtest.report.html.SourceFile@785ed99c_40'/>
40
</td>
<td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_40'></a>
<span>
</span>
</span>
</td>
<td class=''><pre><span  class=''>}</span></pre></td></tr>



<tr><td></td><td></td><td><h2>Mutations</h2></td></tr>


<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_27'>27</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_27'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet4()]</span></span> changed conditional boundary &rarr; KILLED</p> <p class='KILLED'><span class='pop'>2.<span><b>2</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet5()]</span></span> negated conditional &rarr; KILLED</p> <p class='KILLED'><span class='pop'>3.<span><b>3</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet5()]</span></span> negated conditional &rarr; KILLED</p> <p class='KILLED'><span class='pop'>4.<span><b>4</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet4()]</span></span> negated conditional &rarr; KILLED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_28'>28</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_28'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet5()]</span></span> negated conditional &rarr; KILLED</p> <p class='KILLED'><span class='pop'>2.<span><b>2</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet5()]</span></span> negated conditional &rarr; KILLED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_29'>29</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_29'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet1()]</span></span> changed conditional boundary &rarr; KILLED</p> <p class='KILLED'><span class='pop'>2.<span><b>2</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet6()]</span></span> negated conditional &rarr; KILLED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_30'>30</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_30'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet1()]</span></span> replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_32'>32</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_32'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet6()]</span></span> replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_35'>35</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_35'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet5()]</span></span> replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED</p> 
</td>
</tr>

<tr>
<td><a href='#org.pitest.mutationtest.report.html.SourceFile@785ed99c_38'>38</a></td> 
<td></td>
<td>

<a name='grouporg.pitest.mutationtest.report.html.SourceFile@785ed99c_38'/> 

<p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet3()]</span></span> replaced return value with &#34;&#34; for ecnu/sei/st2018/Repay::doRepay &rarr; KILLED</p> 
</td>
</tr>

</table>


<h2>Active mutators</h2>
<ul>

<li class='mutator'>BOOLEAN_FALSE_RETURN</li>

<li class='mutator'>BOOLEAN_TRUE_RETURN</li>

<li class='mutator'>CONDITIONALS_BOUNDARY_MUTATOR</li>

<li class='mutator'>EMPTY_RETURN_VALUES</li>

<li class='mutator'>INCREMENTS_MUTATOR</li>

<li class='mutator'>INVERT_NEGS_MUTATOR</li>

<li class='mutator'>MATH_MUTATOR</li>

<li class='mutator'>NEGATE_CONDITIONALS_MUTATOR</li>

<li class='mutator'>NULL_RETURN_VALUES</li>

<li class='mutator'>PRIMITIVE_RETURN_VALS_MUTATOR</li>

<li class='mutator'>VOID_METHOD_CALL_MUTATOR</li>

</ul>

<h2>Tests examined</h2>
<ul>
<li>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet1()] (12 ms)</li><li>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet2()] (5 ms)</li><li>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet6()] (6 ms)</li><li>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet3()] (3 ms)</li><li>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet4()] (3 ms)</li><li>ecnu.sei.st2018.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:ecnu.sei.st2018.RepayConditionCoverageTest]/[method:testConditionSet5()] (4 ms)</li>
</ul>

<br/>

Report generated by <a href='http://pitest.org'>PIT</a> 1.6.6

</body>
</html>